| emsoft | participants

Hongkai Chen

EMSOFT 2025: 25th International Conference on Embedded Software

Cumulative-Time Signal Temporal Logic

Hongkai Chen, Zeyu Zhang, Shouvik Roy, Ezio Bartocci, Scott Smolka, Scott D. Stoller, and Shan Lin